81. Applications and Theory of Petri Nets :
پدیدآورنده : edited by Anastasia Pagnoni, Grzegorz Rozenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
رده :
QA267
.
E358
1983
82. Applications of continuous mathematics to computer science /
پدیدآورنده : by Hung T. Nguyen, Vladik Kreinovich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Computer science-- Mathematics.,COMPUTERS.,CONTINUITY (MATHEMATICS),Informatik,MATHEMATICS.,Mathematik
رده :
QA76
.
9
.
M35
N49
1997
83. Applied Decision-Making :
پدیدآورنده : editors, Mauricio A. Sanchez, Leocundo Aguilar, Manuel Castañón-Puga and Antonio Rodríguez.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Decision making-- Mathematical models.,Decision making-- Simulation methods, Case studies.,Decision making-- Mathematical models.,Decision making-- Simulation methods.,SCIENCE-- System Theory.,TECHNOLOGY & ENGINEERING-- Operations Research.
رده :
QA279
.
4
84. Applied Mathematics in Aerospace Science and Engineering
پدیدآورنده : edited by Angelo Miele, Attilio Salvetti.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Engineering mathematics.,Engineering.,Mechanical engineering.
85. Applied and Computational Control, Signals, and Circuits
پدیدآورنده : edited by Biswa Nath Datta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Engineering.,Systems engineering.
86. Applied engineering failure analysis : theory and practice
پدیدآورنده : Qua, Hock-Chye
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Failure analysis )Engineering(,، SCIENCE / Mechanics / General,، TECHNOLOGY & ENGINEERING / Industrial Design / General,، TECHNOLOGY & ENGINEERING / Material Science
رده :
TA
169
.
5
.
Q33
2015
87. Artificial Intelligence:
پدیدآورنده : edited by Christoph Bussler, Dieter Fensel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information storage and retrieval systems.,Information systems.
88. Artificial Intelligence in Industrial Decision Making, Control and Automation
پدیدآورنده : edited by Spyros G. Tzafestas, Henk B. Verbruggen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Mechanical engineering.,Systems theory.
89. Asynchronous sequential machine design and analysis
پدیدآورنده : / Richard F. Tinder
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Asynchronous circuits, Mathematical models,Sequential circuits, Mathematical models,Sequential machine theory, Mathematical models,Asynchronous,Sequential,Sequencers,Logic,Machines,Digital,Self-timed,Arbiters
رده :
E-BOOK
90. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
پدیدآورنده : Puppis, Gabriele
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
رده :
QA
267
.
P87
2010
91. Automated Deduction - CADE-23 :
پدیدآورنده : edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
92. Automating Instructional Design:
پدیدآورنده : edited by Robert D. Tennyson, Ann E. Barron.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Educational technology.,Software engineering.
93. Automating Instructional Design, Development, and Delivery
پدیدآورنده : edited by Robert D. Tennyson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
LB1028
.
38
E358
1994
95. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
96. Beginning Blockchain :
پدیدآورنده : Bikramaditya Singhal, Gautam Dhameja, Priyansu Sekhar Panda.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Blockchains (Databases),Blockchains (Databases),COMPUTERS-- Databases-- General.,Databases.,Information technology: general issues.
رده :
QA76
.
9
.
D32
97. Beginning relational data modeling /
پدیدآورنده : Sharon Allen and Evan Terry.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data structures (Computer science),Database design.,Information modeling.,Relational databases.,Bases de données-- Conception.,Bases de données relationnelles.,Modèles d'information.,Structures de données (Informatique),Bases de données-- Conception.,Bases de données relationnelles.,COMPUTERS-- Programming Languages-- SQL.,Data structures (Computer science),Data structures (Computer science),Database design.,Database design.,Information modeling.,Information modeling.,Informatique.,Modèles d'information.,Relational databases.,Relational databases.,Structures de données (Informatique)
رده :
QA76
.
9
.
D26
A45
2005eb
98. Beyond the molecular frontier :
پدیدآورنده : Committee on Challenges for the Chemical Sciences in the 21st Century, Board on Chemical Sciences and Technology, National Research Council of the National Academies.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemical engineering-- Research-- United States.,Chemistry-- Research-- United States.,Biology.,Biomedical Engineering.,Biotechnology.,Chemical Engineering.,Chemistry.,Medicine.,Pharmaceutical Preparations.,Chimie-- Recherche-- États-Unis.,Génie chimique-- Recherche-- États-Unis.,Chemical engineering-- Research.,Chemistry / General.,Chemistry-- Research.,SCIENCE-- Chemistry-- Industrial & Technical.,SCIENCE.,TECHNOLOGY & ENGINEERING-- Chemical & Biochemical.,United States., 7
رده :
TP155
.
N38
2003eb
99. Big Data and Smart Digital Environment /
پدیدآورنده : Yousef Farhaoui, Laila Moussaid, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Big data-- Analysis.,Data mining.,Machine learning.,COMPUTERS-- Databases-- General.,Data mining.,Machine learning.
رده :
QA76
.
9
.
B45
100. Big data and software defined networks /
پدیدآورنده : edited by Javid Taheri.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Big data.,Software-defined networking (Computer network technology),bandwidth allocation.,Big data.,Big Data.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,information analysis.,message passing.,resource allocation.,software defined networking.,Software-defined networking (Computer network technology)
رده :
TK5105
.
5833
.
B54
2018eb
